Reasoning about Functional Properties of Components Based on Geometrical Descriptions

نویسندگان

  • Ahmad Shahwan
  • Gilles Foucault
  • Jean-Claude Léon
  • Lionel Fine
چکیده

Digital Mock-ups (DMUs) are widespread and form a common basis for product description. However, DMUs produced by industrial CAD systems essentially contain geometric models and their exploitation often requires new input data to derive various simulation models. In this work, analysis and reasoning approaches are developed to automatically enrich DMUs with functional and kinematic properties. Indeed, interfaces between components form a key starting point to analyze their behaviours under operational reference states. This is a first stage in a reasoning process to progressively identify mechanical, kinematic as well as functional properties of the components. The overall process relying on the interfaces between components addresses also the emerging needs of conventional representations of components in industrial DMUs. Inferred semantics add up to the pure geometric representation provided by a DMU, to allow for easier exploitation of the model in different phases of a Product Development Process (PDP).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Predictable Component Architectures Using Dependent Finite State Machines

The software architect is concerned with both functional and nonfunctional design. An important task in functional design is the adaptation of a component’s provided interface for use by other components. In non-functional analysis the focus is rather on the prediction and reasoning about reliability and performance properties. We present a method for automatic adaptation, based upon parameteri...

متن کامل

Can Formal Methods be Applied to Software Architecture?

The software architecture of a program or computing system is the structure or structures of the system, which comprise software components, the externally visible properties of those components, and the relationships among them. In other words, software architecture is the study of boxes and lines. For the most part, software architecture is informal in the sense that it is diÆcult to assign p...

متن کامل

The Explanation of the Attachment in Urban Environment based on Islamic Texts and Concepts

One of the reasons for the lack of sense of place and identity in urban environments is the lack of original ideas and human-oriented concepts of Islamic thoughts in the cities. Therefore, paying attention to the sense of place in the traditional environments and its extension to the today's neighborhoods is one of the most important requirements in designing residential environments. The main...

متن کامل

Saliency Cognition of Urban Monuments Based on Verbal Descriptions of Mental-Spatial Representations (Case Study: Urban Monuments in Qazvin)

Urban monuments encompass a wide range of architectural works either intentionally or unintentionally. These works are often salient due to their inherently explicit or hidden components and qualities in the urban context. Therefore, they affect the mental-spatial representations of the environment and make the city legible. However, the ambiguity of effective components often complicates their...

متن کامل

A Knowledge Representation Format for Virtual IP Marketplaces

For the design of Systems on Chip (SoC) it is essential to reuse previously developed and verified virtual components in order to meet nowadays requirements in reliability, correctness, and time-to-market. On the downside, deciding about reusing a third-party component in a design situation can consume substantial time and resources. This is especially true in situations where many potential ca...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011